Darondeau, Philippe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Genetic Process Mining

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

2

Naproxen ophthalmic solution to manage inflammation after phacoemulsification

Vincento Papa, Giovanni Milazzo, Marcello Santocono, Valerie Servolle, Philippe Sourdille, Pierre-Yves Santiago, Jacques Darondeau, Nathalie Cassoux, Phuc LeHoang

Journal:

Journal of Cataract & Refractive Surgery

Year:

2002

Language:

english

File:

PDF, 114 KB

english, 2002

3

About fair asynchrony

Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 1.87 MB

english, 1985

4

Enforcing opacity of regular predicates on modal transition systems

Darondeau, Philippe, Marchand, Hervé, Ricker, Laurie

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

5

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || High-Level Nets with Nets and Rules as Tokens

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 293 KB

english, 2005

6

Supervisory Control for Opacity

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Journal:

IEEE Transactions on Automatic Control

Year:

2010

Language:

english

File:

PDF, 790 KB

english, 2010

7

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Extremal Throughputs in Free-Choice Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

8

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Applications of Craig Interpolation to Model Checking

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 51 KB

english, 2005

9

Transition systems without transitions

Andrzej M. Borzyszkowski, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 288 KB

english, 2005

10

Trace nets and process automata

Eric Badouel, Philippe Darondeau

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

11

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Determinate STG Decomposition of Marked Graphs

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 337 KB

english, 2005

12

Foreword

René Boel, Philippe Darondeau, Sadatoshi Kumagai

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

13

Quasi-static scheduling of communicating tasks

Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 786 KB

english, 2010

14

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || A High Level Language for Structural Relations in Well-Formed Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 310 KB

english, 2005

15

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || The (True) Concurrent Markov Property and Some Applications to Markov Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 295 KB

english, 2005

16

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

17

Refinement of actions in event structures and causal trees

Philippe Darondeau, Pierpaolo Degano

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.95 MB

english, 1993

18

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Residuation of tropical series: Rationality issues

Badouel, Eric, Bouillard, Anne, Darondeau, Philippe, Komenda, Jan

Year:

2011

Language:

english

File:

PDF, 345 KB

english, 2011

19

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Darondeau, Philippe

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

20

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Can I Execute My Scenario in Your Net?

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 328 KB

english, 2005

21

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Opacity enforcing control synthesis

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

22

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 239 KB

english, 2005

23

Supervisory Control for Modal Specifications of Services

Darondeau, Philippe, Dubreil, Jérémy, Marchand, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

24

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 404 KB

english, 2005

25

On the Petri net realization of context-free graphs

Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 265 KB

english, 2001

26

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || The ProM Framework: A New Era in Process Mining Tool Support

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 291 KB

english, 2005

27

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || On the Expressive Power of Petri Net Schemata

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 270 KB

english, 2005

28

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || A Framework to Decompose GSPN Models

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

29

Fairness, distances and degrees

Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 775 KB

english, 1992

30

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 461 KB

english, 2005

31

Context-Free Event Domains Are Recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 601 KB

english, 1999

32

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 ||

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 5.34 MB

english, 2005

33

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 211 KB

english, 2005

34

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || High Level Petri Nets Analysis with Helena

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

35

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Applications of Craig Interpolation to Model Checking

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

File:

PDF, 51 KB

2005

36

Proof systems for infinite behaviours

Philippe Darondeau, Serge Yoccoz

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 751 KB

english, 1992

37

Synthesis and Control of Discrete Event Systems ||

Caillaud, Benoît, Darondeau, Philippe, Lavagno, Luciano, Xie, Xiaolan

Year:

2002

Language:

english

File:

PDF, 18.82 MB

english, 2002

38

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

39

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Modeling Dynamic Architectures Using Nets-Within-Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 503 KB

english, 2005

40

A decomposition theorem for finite persistent transition systems

Eike Best, Philippe Darondeau

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 448 KB

english, 2009

41

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Protos 7.0: Simulation Made Accessible

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 186 KB

english, 2005

42

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Synthesis and Control of Asynchronous and Distributed Systems

Darondeau, Philippe, Darondeau, Philippe, Darondeau, Philippe, Darondeau, Philippe

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

43

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Timed-Arc Petri Nets vs. Networks of Timed Automata

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 272 KB

english, 2005

44

On guarded recursion

Eric Badouel, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 676 KB

english, 1991

45

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 515 KB

english, 2005

46

The synthesis problem for elementary net systems is NP-complete

Eric Badouel, Luca Bernardinello, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.84 MB

english, 1997

47

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Soundness of Resource-Constrained Workflow Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 262 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски